---

primitive recursive predicate

英 [ˈprɪmətɪv rɪˈkɜːsɪv ˈpredɪkət] 美 [ˈprɪmətɪv rɪˈkɜːrsɪv ˈpredɪkət]

网络  原始递归渭词; 原始递归谓词

计算机

---

---